Book Review: Basic Simple Type Theory by J. Roger Hindley (Cambridge University Press 1997). - Brian Postow (SIGACT News, 1998)

Book review: A Theory of Objects by Martin Abadi and Luca Cardelli (Springer-Verlag, 1996): Series–Monographs in Computer Science. - Brian Postow (SIGACT News, 1999)

UPSILON: Universal Programming System with Incomplete Lazy Object Notation. - Brian Postow; Kenneth W. Regan; Carl H. Smith (Fundam. Informaticae, 2002)

The complexity of learning SUBSEQ(A). - Stephen A. Fenner; William I. Gasarch; Brian Postow (J. Symb. Log., 2009)

The Complexity of Finding SUBSEQ(A). - Stephen A. Fenner; William I. Gasarch; Brian Postow (Theory Comput. Syst., 2009)