These examples come from the website http://www.dcs.warwick.ac.uk/~edsac/;
please go there for more information.