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