Hemaspaandra, Lane A Theory of semi-feasible algorithms - Berlin Springer-Verlag 2003 - x,148p p. ISBN: 3-540-42200-5 Subjects--Index Terms: Computer algorithms