@article{sel229,
    author = {Eun Mi Kim and Shinji Kusumoto and Tohru Kikuno},
    title = {{A new verification framework of object-oriented design specification for small scale software}},
    journal = {IEICE Transactions on Information and Systems, Vol.E80-D,},
    year = 1997,
    month = jan,
}