Softwear Engineering-2 Softwear Engineering-2 - Dines Bjorner ([s.l]: Springer)