1. F. E. Allen, “A basis for program optimization.” in Proc. 1971 IFIP Congr. 1971.
2. T. Araki and N. Tokura. “Flow languages equal recursively enumerable languages,” Acta Inform., vol. 15. pp. 209–218. 1981.
3. G. S. Avrunin, L. K. Dillon, J. C. Wileden, and W. E. Riddle, “Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems,” IEEE Trans. Software Eng., vol. SE-12, pp. 278–292. Feb. 1986.
4. W. Bartussek and D. L. Parnas. “Using traces to write abstract specifications for software modules.” Dep. Comput. Sci., Univ. North Carolina, Chapel Hill. Tech. Rep. 77-12, 1977.
5. R. H. Campbell and R. B. Kolstad, “Path expressions in Pascal.” In Proc. 4th Int. Conf. Software Engineering, Sept. 1979. pp. 212–219.