Runtime Constraint Checking Approaches for OCL, A Critical Comparison. - Carmen Avila; Amritam Sarcar; Yoonsik Cheon; Cesar Yeep (SEKE, 2010)

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