Kuo-Chung Tai A Course on Software Enigneering for Concurrent Systems. 106-119 1988 conf/csee/1988 CSEE db/conf/csee/csee1988.html#Tai88 http://dx.doi.org/10.1007/BFb0043593