Algebraic System Specification and Development
Subtitle: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
Publisher: Springer
Published: July 1991
Number of pages: 98
ISBN-13: 9780387540603