Software engineering 2 : specification of systems and languages - Bjorner, D. (NewYork : Springer, 2007)
Includes indes and bibliographical reference
Keywords: COMPUTER SCIENCE