Synchronic aspects of data types: construction of a non-algorithmic solution of the banker's problem. - Piero R. Torrigiani (ECI, 1978)

COSY - A System Specification Language Based on Paths and Processes. - Peter E. Lauer; Piero R. Torrigiani; M. W. Shields (Acta Informatica, 1979)

Specification of highly parallel and distributed resource management. - Peter E. Lauer; Piero R. Torrigiani; Raymond Devillers (Symposium on Programming, 1980)