2 works on record
Recent trends in algebraic development techniques
Foundations of Computer Software. Future Trends and Techniques for Development