2 livres dans ce genre
X/Open Framework and Models
X Open
Formal specification and software development
Dines Bjørner