Glynn Winskel On the Composition and Decomposition of Assertions. 62-75 1984 conf/concur/1984 Seminar on Concurrency db/conf/concur/concur1984.html#Winskel84 http://dx.doi.org/10.1007/3-540-15670-4_3