Software engineering 2 : specification of systems and languages / D. Bjørner. - Bjørner, D. (Dines), 1937- (Texts in theoretical computer science, 2006)