Semantik der revidierten Version der algebraischen Spezifikationssprache ACT ONE - Claßen, Ingo (Bericht / Technische Universität <Berlin, West> / Fachbereich Informatik, 1988)