Title: Hal-A Programmer's Resource Book