Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 / - Ganzinger, H.; Jones, Neil D. (Springer-Verlag,, 1986)