Björn Lisper Synthesis and Equivalence of Concurrent Systems. 183-199 1988 58 Theor. Comput. Sci. db/journals/tcs/tcs58.html#Lisper88