Software engineering 1 : abstraction and modelling - Bjorner, D. (NewYork : Springer, 2007)
Includes index and bibliographical reference
Keywords: COMPUTER SCIENCE