Application of program design language tools to abbott's method of program design by informal natural language descriptions. - Daniel M. Berry; Nancy Yavne; Moshe Yavne (J. Syst. Softw., 1987)