E. Knapp
-
Enforcing behavior with contracts
Programming methodology
A fixpoint semantics of event systems with and without fairness assumptions
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods