Spivey, Michael (30 September 2020). Design overview for OBC: The Keiko Abstract Machine. Spivey's Corner (Report). Oriel College, University of Oxford. Retrieved 9 July 2023. The Oxford Oberon-2 compiler translates source programs into code for a stack-based abstract machine. ... the Keiko machine.