Michel Charpentier K. Mani Chandy Specification transformers: a predicate transformer approach to composition. 265-301 2004 40 Acta Inf. 4 http://dx.doi.org/10.1007/s00236-003-0130-y db/journals/acta/acta40.html#CharpentierC04