Title: From English to formal specifications
First published: 1994