2 libros en este género
X/Open Framework and Models
X Open
Formal specification and software development
Dines Bjørner