Consistency Checking between Data and Process Diagrams Based on Formal Methods. - Syouri Kouno; Han-Myung Chang; Keijiro Araki (COMPSAC, 1996)