Libros

Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques
2019
Formal Aspects of Component Software Formal Aspects of Component Software
2014
Categories for Software Engineering Categories for Software Engineering
2005