"To the Gates of HAL: A HAL Tutorial."

Maria J. García de la Banda et al. (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics