Title: Formal models of business process reengineering for design and design validation
First published: 1997