Structured algebraic specifications a kernel language - Wirsing, Martin 1948- (1987)
Zugl.: München, Univ., Habil.-Schr., 1983. - Aus: Theoretical computer science ; 42 (1986)