P. Collette and C. B. Jones, Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations, 1995.

L. Lamport, Control Predicates are Better than Dummy Variables for Reasoning about Program Control, 1986.

L. Lamport, The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.

L. Lamport, TLA in Pictures, Specification of Parallel Programs: Proceedings of the DIMACS Workshop, number 18 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp.293-307, 1994.

A. Rabinovich, Modularity and Expressibility for Nets of Relations, 1996.

D. Roegel, Étude de la sémantique de programmes parallèles « réels

, Also CRIN reports 96-T-214 (french) and 97-R-125 (english, vol.7, 1996.

R. D. Tennent, The Denotational Semantics of Programming Languages, Communications of the ACM, vol.19, issue.8, pp.437-453, 1976.