Especificación formal de la máquina virtual Z, escrita por Graham Nelson y traducida al español por Yokiyoki.
La máquina Z es la máquina virtual sobre la que se ejecutan los juegos escritos por Infocom y, en los últimos años, los escritos en Inform/ATE.