Algebraic specifications in an integrated software development and verification system - Voß, Angelika (1985)