@第{zbMATH05262296条，作者={Maci{\`a}，Hermenegilda和Valero，Valent{\'{\i}n和Cuartero，Fernando和de-Frutos，David}，标题={{sPBC}}的同余关系，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={32}，数字={2}，页码={85--128}，年份＝｛2008｝，语言={英语}，DOI={10.1007/s10703-007-0045-2}，关键词={68Q85}，zbMATH={5262296}，Zbl={1138.68040}}