Completeness in oriented matroids. - William E. Fenton (Discret. Math., 1987)

Large convex sets in oriented matroids. - J. Richard Büchi; William E. Fenton (J. Comb. Theory B, 1988)

Introduction to discrete mathematics with ISETL. - William E. Fenton; Ed Dubinsky (Springer, 1996)