Title: Computer aided support for Jackson system specification diagram
First published: 1994