ConMod: a system for conceptual consistency verification and communication. - Robert E. Braudes; John L. Sibert (ACM SIGCHI Bull., 1991)