O. Hebin, “Richard S. Baxter: Computer and Statistical Techniques for Planners”., gt, vol. 76, Jan. 1977.