Chia-Chu Chiang: Structured design with mathematical proofs. Inf. Softw. Technol. 39(10): 669-677 (1997)