Transformation and Verification of Office Procedures. - Shi-Kuo Chang; Wu-Lung Chan (IEEE Trans. Software Eng., 1985)