K. Hagihara, K. Wada, and N. Tokura. RIMS Symposium on Software Science and Engineering, volume 147 of Lecture Notes in Computer Science, page 128-146. Springer, (1982)
K. Wada, K. Hagihara, T. Araki, and N. Tokura. Operating Systems Engineering, volume 143 of Lecture Notes in Computer Science, page 42-62. Springer, (1980)