Computation of Logical Effort in High Level Languages. - Steven C. Cater; S. Sitharama Iyengar; John Fuller (Comput. Lang., 1984)

TIRS: A Topological Information Retrieval System Satisfying the Requirements of the Waller-Kraft Wish List. - Steven C. Cater; Donald H. Kraft (SIGIR, 1987)

A generalization and clarification of the waller-kraft wish list. - Steven C. Cater; Donald H. Kraft (Inf. Process. Manag., 1989)

Topology of Document Retrieval Systems. - Daniel M. Everett; Steven C. Cater (J. Am. Soc. Inf. Sci., 1992)

An ASM Dynamic Semantics for Standard ML. - Steven C. Cater; James K. Huggins (Abstract State Machines, 2000)