[icefox]

In the 2001 audio book Arthur C Clarke had a 15 minute intro where in it (amung other things) he explicitly says it is a coincidences and lists the page in the book explaining what HAL stands for.