Action diagrams : clearly structured specifications, programs, and procedures - Martin, James, 1933- (Prentice Hall, 1989)