@inproceedings{ENTCS.2006.95-109,
 author = {Scott Uk-Jin Lee and Jing Sun and Gillian Dobbie and Yuan Fang Li},
 title = {{A Z Approach in Validating ORA-SS Data Models}},
 journal = {Electronic Notes in Theoretical Computer Science},
 volume = {157},
 number = {1},
 pages = {95-109},
 month = {May},
 year = {2006},
 doi = {http://dx.doi.org/10.1016/j.entcs.2006.01.025}
}