John V. Guttag, Ellis Horowitz, David R. Musser. Some Extensions to Algebraic Specifications. In Language Design for Reliable Software. pages 63-67, 1977.
@inproceedings{GuttagHM77,
title = {Some Extensions to Algebraic Specifications},
author = {John V. Guttag and Ellis Horowitz and David R. Musser},
year = {1977},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/GuttagHM77},
cites = {0},
citedby = {0},
pages = {63-67},
booktitle = {Language Design for Reliable Software},
}