Kybernetika 27 no. 1, 53-65, 1991

A concurrency control problem in a time-sharing system with different job types