Kobayashi, 2013. Model Checking Higher-Order Programs 60.. https://doi.org/10.1145/2487241.2487246