Title: Studies of Algebraic Specification
Subjects: Computers