Software engineering 1 : absractin and modelling - Bjorner,D. D.Dines (Berlin : Springer, 2006)
Includes bibliographical references and indexes
Keywords: Software engineering; Software engineering -- Abstraction