Title: Algebraic specification techniques and tools for software development
First published: 1993
Subjects: Development, Compilers (Computer programs), Computer software, Software engineering
LC classification: QA76.76.D47 C57 1993