String Theory. - John Corcoran; William Frank; Michael Maloney (J. Symb. Log., 1974)

A note on the adequacy of translations. - William Frank (Notre Dame J. Formal Log., 1976)

Be clear, clean, concise. - William Frank; Kevin P. Tyson (Commun. ACM, 2002)