To the Gates of HAL: a HAL tutorial

by Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey