Ian Gorton Innes Jelly Jonathan Gray Toong Shoon Chan Reliable parallel software construction using PARSE. 125-146 1996 8 Concurrency - Practice and Experience 2 db/journals/concurrency/concurrency8.html#GortonJGC96