Lecture notes in business information processing / ed. W. Van der Aalst [et al.]. 56 : Specification and verification of declarative open interaction models. A logic-based approach / M. Montali, 2010. - XXII, 411 p. - Текст : непосредственный.
Montali M. Specification and verification of declarative open interaction models : a logic-based approach / M. Montali, 2010 r=on-line. - Текст : электронный.