C.A.: Instruction sequences with indirect jumps (2007)

by J A Bergstra, Middelburg
Venue:Scientific Annals of Computer Science 17