TY  - RPRT
TI  - Programming Language Features for Refinement
AU  - Jason Koenig
AU  - K. Rustan M. Leino
PY  - 2016
DO  - 10.4204/eptcs.209.7
UR  - https://arxiv.org/abs/1606.02022
ID  - 1606.02022
ER  -