ACT ONE - An Algebraic Specification Language with two Levels of Semantics

Hartmut Ehrig, Werner Fey, Horst Hansen. ACT ONE - An Algebraic Specification Language with two Levels of Semantics. In ADT. 1983.

@inproceedings{EhrigFH83,
  title = {ACT ONE - An Algebraic Specification Language with two Levels of Semantics},
  author = {Hartmut Ehrig and Werner Fey and Horst Hansen},
  year = {1983},
  tags = {semantics, algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/EhrigFH83},
  cites = {0},
  citedby = {0},
  booktitle = {ADT},
}