Basic version 3 reference manual (Control Data Corporation, 1980)