Elliott A Specification of the Mark 3 Autocode for the 803 Electronic Digital Computer