Adam Kellett Michael Fisher Automata Representations for Concurrent METATEM. 12-19 1997 TIME http://www.computer.org/proceedings/time/7937/79370012abs.htm db/conf/time/time1997.html#KellettF97