Computability And Models by S. Barry Cooper