Kuncakand Rinard. On Role Logic. 5 Aug. 2004.