@第{zbMATH03866563条，作者={Klaeren，Herbert A.}，Title={抽象代数软件规范的构造方法}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={30}，页码={139--204}，年份={1984年}，语言={英语}，DOI={10.1016/0304-3975（84）90062-8}，关键词={68P05}，zbMATH={3866563}，Zbl={0544.68016}}