Roger Duke Luke Wildman Brad Long Modelling Java Concurrency with Object-Z. 173-181 2003 conf/sefm/2003 SEFM http://csdl.computer.org/comp/proceedings/sefm/2003/1949/00/19490173abs.htm db/conf/sefm/sefm2003.html#DukeWL03