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