Studying the fully abstract model of PCF within its continuous function model /
Jung, Achim.
Stoughton, Allen.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1992.
Caption title.