Computing - Coffman, E.G (North-Holland, 1992)