Specification of Concurrency Control in Persistent Programming Languages. - Nicoletta De Francesco; Gigliola Vaglini; Luigi V. Mancini; A. Pereira Paz (POS, 1992)