%0 Journal Article %A Dimitrov, Vladimir %T Formal Specification of Relational Model of Data in Z-Notation %J Mathematics and Education in Mathematics %D 2010 %P 178-183 %V 39 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/MEM_2010_39_1_a17/ %G en %F MEM_2010_39_1_a17