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