Text this: Algorithm theory--SWAT '92 :