文献参照に関する体裁等を微調整

- refs.bib に DBLP に関する記述を追加
- refs.bib のエントリを Pierce の Web ページから拝借したものに変更
- paper.tex に cite.sty を追加