Author: Rudolf Kaelbling,Ralph M. Patterson