TY - RPRT TI - HAL/SM language specification AU - Williams, G. P. W., Jr. AU - Ross, C. PY - 1975 UR - https://ntrs.nasa.gov/citations/19760007757 ID - 19760007757 ER -