BibTex format
@inproceedings{Bodin:2019:10.1145/3290357,
author = {Bodin, M and Gardner, P and Jensen, T and Schmitt, A},
doi = {10.1145/3290357},
pages = {44:1--44:31},
publisher = {Association for Computing Machinery},
title = {Skeletal semantics and their interpretations},
url = {http://dx.doi.org/10.1145/3290357},
year = {2019}
}