English as a very high level language for simulation programmingGeorge E. Heidorn1974ACM SIGPLAN Notices
Formal development of correct algorithms: An example based on earley's recogniserC.B. Jones1972ACM SIGPLAN Notices