Manny Rayner Åsa Hugosson Annika Wærn Proving Correctness of Plans Considered as Procedural Programs. 93-102 1988 AIMSA db/conf/aimsa/aimsa1988.html#RaynerHW88