Software engineering v.2: specification of systems and languges - Bjorner, D. (SPRINGER -VERLAG Germany, 2006)