Serge M., Miranda (1982) Formalization of concurrency control in distributed data systems. MTA SZTAKI KÖZLEMÉNYEK, 27. pp. 73-107. ISSN 0133-7459