Software Engineering. 1 Abstraction and Modelling - Bjorner, Dines; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Software engineering; Computer programming