TY  - RPRT
TI  - How to prove a program works.
PY  - 1979
UR  - https://pubmed.ncbi.nlm.nih.gov/10240135/
ID  - 10240135
ER  -