Peter E. Lauer Piero R. Torrigiani M. W. Shields COSY - A System Specification Language Based on Paths and Processes. 109-158 1979 12 Acta Inf. db/journals/acta/acta12.html#LauerTS79