Johan Lewi

• A Programming methodology in compiler construction
• Algebraic Specifications in Software Engineering: An Introduction
• Data structures of Pascal, Algol 68, PL/1, and Ada
• Software development by LL(1) syntax description
• Algebraic Specifications in Software Engineering