Algebraic implementations in an integrated software development and verification system - Beierle, Christoph 1954- (1985)