Concurrent Processes with Synchronization: Net and Algebraic Approach. - Ludmila Cherkasova; Alexander S. Filurin (Logic at Botik, 1989)