Leslie Pack Kaelbling Goals as Parallel Program Specifications. 60-64 1988 AAAI db/conf/aaai/aaai88.html#Kaelbling88