A. John Hurst Pascal-P, Program STructure and Program Behaviour. 1029-1036 1980 10 Softw., Pract. Exper. 12 db/journals/spe/spe10.html#Hurst80 http://dx.doi.org/10.1002/spe.4380101208