@misc{oai:tsukuba.repo.nii.ac.jp:00010967,
 author = {Kawai, Hiroya and 川井, 宏弥},
 month = {},
 note = {1989, 【要旨】},
 title = {Studies on temporal logic and its application to parallel programs},
 year = {1990}
}