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