4 works on record
Scientific engineering of distributed Java applications
Algebraic Foundations of Systems Specification
Scientific Engineering for Distributed Java Applications
Fundamental Approaches to Software Engineering