Books by Kevin Lano
Financial Software Engineering
Model-Driven Business Process
Model-Driven Business Process Engineering
Modeldriven Software Development With Uml And Java
UML 2 Semantics and Applications
Advanced Systems Design with J
Advanced Systems Design with Java, UML and MDA
B Language and Method
B Language and Method
Specification in B Kit
Specification in B Kit
Breaking the Barriers to Desir
Breaking the Barriers to Desire
Formal object-oriented development