Higher Order Abstract Data Types (1982)

by K Parasaya-Ghomi