%%% -*-LaTeX-*- %%% ==================================================================== %%% @LaTeX-file{ %%% author = "Jim Grundy", %%% version = "1.15", %%% date = "25 November 2011", %%% time = "15:56:45 MDT", %%% filename = "grundy-jim.ltx", %%% address = "Department of Computer Science %%% The Australian National University %%% Canberra ACT 0200 %%% AUSTRALIA", %%% telephone = "?n/a?", %%% FAX = "+61 (0)6 249-0010", %%% URL = "http://cs.anu.edu.au/~Jim.Grundy/", %%% email = "Jim.Grundy@cs.anu.edu.au (Internet)", %%% checksum = "55965 83 286 3008", %%% codetable = "ISO/ASCII", %%% keywords = "BibTeX, bibliography, formal methods, logic", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a LaTeX wrapper file for printing %%% grundy-jim.bib, %%% a bibliography of publications of %%% Jim Grundy. %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== \documentstyle[bibmods,bibnames,path,showtags,twocolumn]{article} \pagestyle{headings} \title{A Bibliography of Publications of Jim Grundy} \author{% Jim Grundy\\ Department of Computer Science\\ The Australian National University\\ Canberra ACT 0200\\ AUSTRALIA\\ Tel: ?n/a?\\ FAX: +61 (0)6 249-0010\\[\medskipamount] E-mail: Jim.Grundy@cs.anu.edu.au (Internet) } \date{25 November 2011 \\ Version 1.15} \begin{document} \nocite{*} \bibliographystyle{is-alpha} \maketitle \begin{abstract} This bibliography records publications of Jim Grundy. \end{abstract} \section*{Title word cross-reference} \begin{raggedright} \parskip = \baselineskip \input{\jobname.twx} \end{raggedright} \bibliography{grundy-jim} \end{document}