著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Feijs, L. M. G. (Loe M. G.)",A formalisation of design methods : a λ-calculus approach to systems design with an application to text editing,,Ellis Horwood,1993,Ellis Horwood series in computers and their applications,,0131061135,,https://cir.nii.ac.jp/crid/1130282271130402048