1. R.M. Burstall; J.A. Goguen: The Semantics of Clear, A Specification Language. Proc. Advanced Course on Abstract Software Specifications, LNCS 86, 292–332, Springer 1980
2. R.M. Burstall; J.A. Goguen: An informal Introduction to Specifications using Clear. In: The Correctness Problem in Computer Science (R.S. Boyer and J.S. Moore eds.), 185–213, Academic Press 1981
3. E. Brinksma (ed.): Information processing systems — open systems inter-connection — LOTOS. A formal description technique based on the temporal ordering of observational behaviour. International Standard, ISO 8807
4. I. Claßen: Semantik der revidierten Version der algebraischen Spezifikations-sprache ACT ONE. Diplomarbeit, Technische Universität Berlin, 1988
5. H. Ehrig; W. Fey; H. Hansen: ACT ONE: An Algebraic Specification Language with two Levels of Semantics. Techn. Report 83-03, TU Berlin, FB 20, 1983