Software Engineering. 2, Specification of Systems and Languages - Bjorner, Dines; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Software engineering; Computer programming