The derivation of test cases from SDL specifications. - Zhu Yun Gu; Kong Eng Cheng (ACM Southeast Regional Conference, 1992)