2 works on record
Fundamental Approaches to Software Engineering
Recent Trends in Algebraic Development Techniques