"Specification Structures and Propositions-as-Types for Concurrency."

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics