Title: Formal Planning systems - 1972