Title: Algebraic specification for practical software production
Subjects: Computer programs