🚀 go-pugleaf

Thanks to all those that replied.  If anyone has any others to add,
please do.

Andy

------------

Firstly, one I discovered myself before posting the original request
(seems to be seminal):

    @article{Arnold80,
	author =    "A. Arnold and M. Nivat",
	title =     "Metric interpretations of infinite trees and semantics of
		     non-deterministic recursive programs",
	journal =   "Theoretical Computer Science",
	volume =    11,
	pages =     "181--205",
	year =      "1980"
    }

From Luke Ong <Luke.Ong@cl.cam.ac.uk>:

    @article{MacQ86,
	author =    "D. MacQueen and G. D. Plotkin and R. Sethi",
	title =     "An ideal model for recursive polymorphic types",
	journal =   "Information and Control",
	volume =    71,
	pages =     "95--130",
	year =      "1986"
    }
    
From Geoffrey Burn <glb@doc.imperial.ac.uk>:

    The main people doing this stuff are at CWI in Amsterdam.
    Why not get a list of their technical reports?

    [ The main article of interest I have found is:

    @inproceedings{Bakker83,
	author =    "J. W. de Bakker and J. I. Zucker",
	title =     "Compactness in Semantics for Merge and Fair Merge",
	booktitle = "Logics of Programs",
	series =    "LNCS",
	volume =    164,
	pages =     "18--34",
	year =      "1983"
    } 

    Also:

    @inproceedings{Bakker86,
	author =    "J. W. de Bakker and J. N. Kok and J.-J. Ch. Meyer and
		     E.-R. Olderog and J. I. Zucker",
	title =     "Contrasting themes in the semantics of imperative
		     concurrency",
	booktitle = "Current Trends in Concurrency, Overviews and Tutorials",
	series =    "LNCS",
	volume =    224,
	pages =     "51--121",
	year =      "1986"
    }

    ]

From Oscar Nierstrasz <oscar@cui.unige.ch>:

    @article{Amer89a,
	author =    "P. America and J. de Bakker and J. Kok and J. Rutten",
	title =     "Denotational Semantics of a Parallel Object-Oriented
		     Language",
	journal =   "Information and Computation",
	volume =    83,
	number =    2,
	pages =     "152--205",
	month =     Nov,
	year =      "1989"
    }