A functional description of the Lincoln TX-2 computer | Synapse