Eike Best Adequacy Properties of Path Programs. 149-171 1982 18 Theor. Comput. Sci. db/journals/tcs/tcs18.html#Best82