CleanJava: A Formal Notation for Functional Program Verification. - Yoonsik Cheon; Cesar Yeep; Melisa Vela (ITNG, 2011)