Ryszard Janicki Tomasz Müldner Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. 97-129 1990 77 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs77.html#JanickiM90