TY  - BOOK
A1  - 
TI  - Unifying theories of programming
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92960957
UR  /book/92960957/Unifying-theories-of-programming/
ER  -