The REVIEW system: from formal specifications to natural language. - Abdul Salek; Paul G. Sorenson; J. Paul Tremblay; John M. Punshon (ICRE, 1994)