Program Separation and Definitional Higher Order Programming

@article{Falkman1997ProgramSA,
  title={Program Separation and Definitional Higher Order Programming},
  author={G{\"o}ran Falkman},
  journal={Comput. Lang.},
  year={1997},
  volume={23},
  pages={179-206}
}