Bu türde 2 kitap
X/Open Framework and Models
X Open
Formal specification and software development
Dines Bjørner