TY  - RPRT
TI  - Turing Impossibility Properties for Stack Machine Programming
AU  - J. A. Bergstra
AU  - C. A. Middelburg
PY  - 2012
UR  - https://arxiv.org/abs/1201.6028
ID  - 1201.6028
ER  -