Marie-Paule Flé: Serialization of Concurrent Programs. J. Comput. Syst. Sci. 38(3): 474-493 (1989)