2 libri in questo genere
X/Open Framework and Models
X Open
Formal specification and software development
Dines Bjørner