Néstor Cataño Marieke Huisman CHASE: A Static Checker for JML's Assignable Clause. 26-40 2003 conf/vmcai/2003 VMCAI http://link.springer.de/link/service/series/0558/bibs/2575/25750026.htm db/conf/vmcai/vmcai2003.html#CatanoH03