Structured algebraic specifications a kernel language - Wirsing, Martin 1948- (1984)
München, Techn. Univ., Diss.