Title: Mapping-based synthesis using the goal-oriented method
First published: 1988