David Alex Lamb Paul N. Hilfinger Simulation of Procedure Variables Using Ada Tasks. 13-15 1983 9 IEEE Trans. Software Eng. 1 db/journals/tse/tse9.html#LambH83