Toward a Unified Logic Basis for Programming Languages. - Chih-Sung Tang (IFIP Congress, 1983)

To Connect the Informal Graphical Design Methodology with the formal Specification in Information System Design. - Yi Zheng; Chih-Sung Tang (DS-3, 1988)