Application of program design language tools to abbott's method of program design by informal natural language descriptions.