A COSY banker specification of highly parallel and distributed resource management - Lauer, Peter E.; Torrigiani, Piero R.; Devillers, Raymond (1980)