@string{sv = "Springer-Verlag"}
@string{aw = "Addison Wesley"}

@inproceedings{Abr88,
	author = "S. Abramsky",
	title = "The Lazy Lambda Calculus",
	booktitle = "Research Topics in Functional Programming",
	publisher = aw,
	year = 1988,
	editor = "D. Turner",
	pages = "65--116",
}

@inproceedings{BEGKPS87,
	author = "H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J.R. Kennaway and M.J. Plasmeijer and M.R. Sleep",
	title = "Term Graph Rewriting",
	booktitle = "Proceedings, PARLE'87 Conference",
	year = 1987,
	editor = "J. W. de Bakker and A. J. Nijman and P. C. Treleaven",
	pages = "141--158",
	series = "LNCS",
	volume = 259,
	publisher = sv,
}

@inproceedings{BeBo90,
	author = "G. Berry and G. Boudol",
	title = "The  Chemical Abstract Machine",
	booktitle = "Proceedings, Principles of Programming Languages",
	pages = "81--94",
	year = 1990,
}

@article{Bur84,
	author = "F.W. Burton",
	title = "Annotations to Control Parallelism and Reduction Order in
the Distributed Evaluation of Functional Programs",
	journal = "TOPLAS",
	year = 1984,
	volume = 6,
	pages = "159--174",
}

@techreport{EnN86,
	author = "U. Engberg and M. Nielsen",
	title = "A Calculus of Communicating Systems with Label Passing",
	institution = "Computer Science Department, University of Aarhus",
	year = 1984,
	number = " DAIMI PB-205",
	address = "",
}

@article{GPM89,
	author = "A. Giacalone and P. Mishra and S. Prasad",
	title = "Facile: A Symmetric Integration of Concurrent and
Functional Programming",
	journal = "IJPP",
	year = 1989,
	volume = 18, 
	number = 2,
	pages = "121--160",
}

@inproceedings{GlaPap88,
	author = "J.R.W. Glauert and G.A. Papadopoulos",
	title = "A Parallel Implementation of GHC",
	booktitle = "Proceedings, International Conference on Fifth Generation Computer Systems, ICOT, Tokyo",
	year = 1988,
}

@inproceedings{GlaPap91,
	author = "J.R.W. Glauert and G.A. Papadopoulos",
	title = "Unifying Concurrent Logic and Functional Languages in a Graph
Rewriting Framework",
	booktitle = "Proceedings, 3rd Panhellenic Computer Science Conference. Athens",
	year = 1991,
}

@inproceedings{GKS91,
	author = "J.R.W. Glauert and J.R. Kennaway and M.R. Sleep",
	title = "Dactl: An Experimental Graph Rewriting Language",
	year = 1991,
	booktitle = "Proceedings, 4th International Workshop on Graph Grammars and their Application to Computer Science",
	editor = "H. Ehrig and H.-J. Kreowski and G. Rozenberg",
	series = "LNCS",
	volume = 532,
	publisher = sv,
}

@inproceedings{HoTo91,
	author = "K. Honda and M. Tokoro",
	title = "An object calculus for asynchronous communication",
	booktitle = "Proceedings, ECOOP'91, Geneva",
	year = 1991,
}

@inproceedings{KeSl82,
	author = "J.R. Kennaway and M.R. Sleep",
	title = "Expressions as processes",
	booktitle = "Proceedings, Lisp and FP",
	pages = "21--28",
	year = 1991,
}

@article{Ken90,
	author = "J.R. Kennaway",
	title = "Implementing Term Rewrite Languages in Dactl",
	journal = "Th. Comp. Sci.",
	year = 1990,
	volume = 72,
	pages = "225--250",
}

@phdthesis{Leth91,
	author = "L. Leth",
	title = "Functional Programs as Reconfigurable Networks of
Communicating Processes",
	school = "Imperial College, London University",
	year = "1991",
}

@book{Mil89,
	author = "R. Milner",
	title = "Communication and Concurrency",
	publisher = "Prentice Hall",
	year = 1989,
}

@inproceedings{Mil90,
	author = "R. Milner",
	title = "Functions as Processes",
	year = 1990,
	booktitle = "Automata, Languages, and Programming, Also Technical Report INRIA Sophia Antipolis, 1989 ",
	series = "LNCS",
	volume = 443,
	publisher = sv,
}

@techreport{PolyPi,
	author = "R. Milner",
	title = "The \PPC: A Tutorial",
	institution = "Edinburgh University",
	year = 1991,
	number = "TR ECS-LFCS-91-180",
	address = "",
}

@techreport{MPW89,
	author = "R. Milner and J. Parrow and D. Walker",
	title = "A Calculus of Mobile Processes, Parts I and II",
	institution = "Edinburgh University",
	year = 1989,
	number = "TR ECS-LFCS-89-85",
	address = "",
}

@inproceedings{Tho89,
	author = "B. Thomsen",
	title = "A Calculus of Higher Order Communicating Systems",
	booktitle = "Principles of Programming Languages",
	pages = "143--154",
	year = 1989,
}

@phdthesis{Tho90,
	author = "B. Thomsen",
	title = "Calculi for Higher Order Communicating Systems",
	school = "Imperial College, London University",
	year = "1990",
}