Programming in the Large with Algebraic Module Specifications (Invited Paper)

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},
}