TY  - RPRT
TI  - An Abstract Programming System
AU  - David A. Plaisted
PY  - 2003
UR  - https://arxiv.org/abs/cs/0306028
ID  - cs/0306028
ER  -