2 books
Algebraic Specifications in Software Engineering
Data Structures of Pascal, Algol 68, PL/1 and Ada