3 books • 1 series
Book #562: Algebraic Specification Techniques in Object Oriented Programming Environments