@article{ASWEC.2006.231-242,
 author = {Lin Wang and Gillian Dobbie and Jing Sun and Lindsay Groves},
 title = {{Validating ORA-SS Data Models using Alloy}},
 booktitle = {ASWEC'06: Proceedings of the 17th Australian Software Engineering Conference},
 month = {April},
 year = {2006},
 location = {Sydney, Australia},
 issn = {1530-0803},
 isbn = {0-7695-2551-2},
 pages = {231-242},
 doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2006.54},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA}
}