Hartmut Ehrig, Herbert Weber. Programming in the Large with Algebraic Module Specifications (Invited Paper). In IFIP Congress. pages 675-684, 1986.
@inproceedings{EhrigW86,
title = {Programming in the Large with Algebraic Module Specifications (Invited Paper)},
author = {Hartmut Ehrig and Herbert Weber},
year = {1986},
tags = {algebraic specification, algebra, programming},
researchr = {https://researchr.org/publication/EhrigW86},
cites = {0},
citedby = {0},
pages = {675-684},
booktitle = {IFIP Congress},
}