Joy N. Reed A. W. Roscoe 0001 Jane E. Sinclair 303-319 2007 19 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-007-0032-9 db/journals/fac/fac19.html#ReedRS07