Ryszard Janicki
-
How to relieve a programmer from synchronization details
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science