TY  - JOUR
AU  - Dimitrov, Vladimir
TI  - Formal Specification of Relational Model of Data in Z-Notation
JO  - Mathematics and Education in Mathematics
PY  - 2010
SP  - 178
EP  - 183
VL  - 39
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MEM_2010_39_1_a17/
LA  - en
ID  - MEM_2010_39_1_a17
ER  -