José A. Mañas Joaquín Salvachúa Lambda-beta: A Virtual LOTOS Machine. 441-456 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#ManasS91