COSY: A system Specification Language based on Paths and Processes (1979)

by P E Lauer, P R Torrigiani, M W Shields
Venue:Acta Informatica