P. R. F. Cunha;T. S. E. Maibaum
-;-
Resource &equil; abstract data type + synchronization - A methodology for message oriented programming -
ICSE '81 Proceedings of the 5th international conference on Software engineering