Specification of Forms Processing and Business Procedures for Office Automation. - Nan C. Shu; Vincent Y. Lum; F. C. Tung; Chin-Liang Chang (IEEE Trans. Software Eng., 1982)