He can be reached at boyland@cs.uwm.edu. See also http://www.cs.uwm.edu/faculty/boyland. John Boyland: "An Operational Semantics including “Volatile” for Safe Concurrency", in Journal of Object Technology, vol. 8, no. 4, Special Issue: Workhop FTfJP and IWACO at ECOOP 08, June 2009, pp. 33-53 http://www.jot.fm/issues/issue_2009_06/article2/ Previous article