Properties as Processes: Their Specification and Verification. - Joel Kelso; George J. Milne (FORTE, 2005)