@phdthesis{oai:nagoya.repo.nii.ac.jp:00010647,
 author = {村上, 昌己 and Murakami, Masaki},
 month = {Sep},
 note = {名古屋大学博士学位論文 学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日},
 school = {名古屋大学, Nagoya University},
 title = {並列プログラムの検証体系に関する論理学的研究},
 year = {1985}
}