RIMS Symposium on Software Science and Engineering II Proceedings of the Symposia 1983 and 1984, Kyoto, Japan | EKB DL