Zaslat SMS: A formal description of the SCC 650 digital computer by Hardy J. Pottinger. [electronic resource] /