@article{ASE.2002.329-356,
 author = {Jing Sun and Jin Song Dong and Jing Liu and Hai Wang},
 title = {{A Formal Object Approach to the Design of ZML}},
 journal = {Annals of Software Engineering},
 volume = {13},
 number = {1-4},
 year = {2002},
 issn = {1022-7091},
 pages = {329-356},
 publisher = {Springer},
 address = {Netherlands},
 url = {http://www.springerlink.com/content/gw3nrx6wfav4vkar/}
}