@inproceedings{conf/birthday/FerreiraHJ00,
title = {Combining the typed lambda-calculus with CCS.},
author = {William Ferreira and Matthew Hennessy and Alan Jeffrey},
booktitle = {Proof, Language, and Interaction},
crossref = {conf/birthday/1999milner},
editor = {Gordon D. Plotkin and Colin Stirling and Mads Tofte},
pages = {511-534},
publisher = {The MIT Press},
url = {http://dblp.uni-trier.de/db/conf/birthday/milner1999.html#FerreiraHJ00},
year = {2000},
description = {dblp},
isbn = {978-0-262-16188-6}, date = {2008-06-23},
keywords = {dblp }
}
::