COSY - a system specification language based on paths and processes
scientific article; zbMATH DE number 3626586