BibTex format
@inproceedings{Bakel:2013,
author = {Bakel, SV and Rowe, RNS},
pages = {27--46},
publisher = {Springer},
title = {Functional Type Assignment for Featherweight Java - To Rinus Plasmeijer, in Honour of His 61st Birthday.},
url = {https://doi.org/10.1007/978-3-642-40355-2},
year = {2013}
}