[2] P. Dastych:
Space- and Time-controlled Service Subsystem. Proceedings of the First "Formator" Symposium on Mathematical methods for the analysis of Large Systems. Liblice near Prague, June 9-12, 1970. Publ. by the Institute of Information Theory and Automation, Prague, 1970.
Zbl 0262.93003