Pientka, 2010. Beluga: Programming with Dependent Types, Contextual Data, and Contexts, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-12251-4_1