Alan Simmonds, Themis Computer