Software engineering .3V. - Bjorner D (New Delhi Springer, 2006)