Egon Börger Igor Durdanovic Correctness of Compiling Occam to Transputer Code. 52-92 1996 39 Comput. J. 1 db/journals/cj/cj39.html#BorgerD96