| |
| 1989 | ||
|---|---|---|
| 1 | L. Vroomen, Paul J. Zsombor-Murray, P. Baracos, R. Hudson: Comments on "Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity". IEEE Trans. Computers 38(6): 880-881 (1989) | |
| 1 | P. Baracos | [1] |
| 2 | L. Vroomen | [1] |
| 3 | Paul J. Zsombor-Murray | [1] |