著者名	書名	版表示	出版者名	出版年	シリーズ名	番号	ISBN	ISSN	URL
Broy, M. and Schmidt, Gunther and Marktoberdorf Summer School on Theoretical Foundations of Programming Methodology and Technische Universität München and NATO Science Committee	Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra and C.A.R. Hoare		D. Reidel	1982	NATO advanced study institutes series	ser. C . Mathematical and physical sciences ; v. 91	9027714606,9027714622		https://ci.nii.ac.jp/ncid/BA03677272
</div><div class="naked_ctrl">
<form action="/index.cgi/contrast" method="get" name="gate">
<p><a href="http://altstyle.alfasado.net">AltStyle</a> によって変換されたページ <a href="https://ci.nii.ac.jp:443/ncid/BA03677272.tsv">(-&gt;オリジナル)</a>
/ <label>アドレス: <input type="text" name="naked_post_url" value="https://ci.nii.ac.jp:443/ncid/BA03677272.tsv" size="22" /></label> <label>モード: <select name="naked_post_mode">
<option value="default">デフォルト</option>
<option value="speech">音声ブラウザ</option>
<option value="ruby">ルビ付き</option>
<option value="contrast" selected="selected">配色反転</option>
<option value="larger-text">文字拡大</option>
<option value="mobile">モバイル</option>
</select>
<input type="submit" value="表示" />
</p>
</form>
</div>