著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Pernambuco Summer School on Software Engineering and Cavalcanti, Ana and Sampaio, Augusto and Woodcock, Jim","Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures",,Springer,2006,Lecture notes in computer science,,9783540462538,,https://cir.nii.ac.jp/crid/1130000797508963840