TY  - RPRT
TI  - S-Program Calculus
AU  - Aleksandar Kupusinac
AU  - Dusan Malbaski
PY  - 2010
UR  - https://arxiv.org/abs/1003.0773
ID  - 1003.0773
ER  -