Software engineering - Bjorner, Dines (Springer (India), 2007)