TY  - RPRT
TI  - A Lightweight Combination of Semantics for Non-deterministic Functions
AU  - Francisco Javier Lopez-Fraguas
AU  - Juan Rodriguez-Hortala
AU  - Jaime Sanchez-Hernandez
PY  - 2009
UR  - https://arxiv.org/abs/0903.2205
ID  - 0903.2205
ER  -