A Goal/Plan Analysis of Buggy Pascal Programs | Synapse