TY  - RPRT
TI  - Whither Programs as Specifications
AU  - David A. Naumann
AU  - Minh Ngo
PY  - 2019
UR  - https://arxiv.org/abs/1906.03557
ID  - 1906.03557
ER  -