English as a very high level language for simulation programmingGeorge E. Heidorn1974ACM SIGPLAN Notices
A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)Raymond E. Miller1972ACM SIGPLAN Notices