TY  - RPRT
TI  - A Formally Specified Program Logic for Higher-Order Procedural Variables and non-local Jumps
AU  - Tristan Crolard
PY  - 2011
UR  - https://arxiv.org/abs/1112.1848
ID  - 1112.1848
ER  -