Title: A comparison of formal and informal requirements specification methods
First published: 1993