Analysis and Specification of Office Procedures (1982)

by J Kunin