@inproceedings{sel144,
    author = {Iida Hajimu and Ogihara Takeshi and Inoue Katsuro and Torii Koji},
    title = {{Generating a Menu-Oriented Navigation System from Formal Description of Software Development Activity Sequence}},
    booktitle = {Proc. of the 1st International Conference on the Software Process},
    year = 1991,
    month = oct,
}