著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Formal Description Techniques and Tenney, Richard L.","Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993",,North-Holland,1994,IFIP transactions,,0444817735,,https://cir.nii.ac.jp/crid/1130282273186297728