Grzanek. Low-cost Dynamic Constraint Checking for the JVM. Walter de Gruyter GmbH, Dec. 2016, doi:10.1515/jacsm-2016-0008.