@inbook{Usov_2020,
title={SFJ: An Implementation of Semantic Featherweight Java},
ISBN={9783030500290},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-030-50029-0_10},
DOI={10.1007/978-3-030-50029-0_10},
booktitle={Coordination Models and Languages},
publisher={Springer International Publishing},
author={Usov,
Artem and Dardha,
Ornela},
year={2020},
pages={153–168} }