Title: An operational abstraction mechanism for concurrent programming
First published: 1990