Models of computation

Published --