Book

Specification and verification of declarative open interaction models

by Marco Montali