1. An Algorithm for Partial Elimination of Jumps in an Object-Oriented Dataflow Language;Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence;2023-12-08
2. To use or not to use the goto statement: Programming styles viewed from Hoare Logic;Science of Computer Programming;2006-03
3. A vector programming language;ACM SIGPLAN Notices;1981-04
4. On folk theorems;ACM SIGACT News;1980-09
5. On folk theorems;Communications of the ACM;1980-07