Software engineering - Bjorner, Dines (Springer, 2006)