Heinz W. Schmidt Jian Chen Reasoning about Concurrent Objects. 86-95 1995 conf/apsec/1995 APSEC http://csdl.computer.org/comp/proceedings/apsec/1995/7171/00/71710086abs.htm db/conf/apsec/apsec1995.html#SchmidtC95