Yonghui Wu Wenyun Ji Aoying Zhou Implementation and Proof for Normalization Design of Object-Oriented Data Schemes. 220-229 2000 conf/tools/36-2000 TOOLS (36) http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.885921 db/conf/tools/tools36-2000.html#WuJZ00