Software science and engineering selected papers from the Kyoto Symposia (World Scientific, 1991)