Chia-Chu Chiang, Roger Y. Lee. Formal Verification of Structured Analysis and Design in HOS. In Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA. pages 282-287, IEEE Computer Society, 2005. [doi]
Abstract is missing.