TY  - BOOK
AU  - Arnold, A.
AU  - Niwinski, D.
TI  - Rudiments of U-Calculus : (SL 146)
SN  - 0 444 50620 9
CY  - Netherlands
KW  - U-Calculus
ER  -