PRATHER, R.E., The Relation of Lorenzen Calculus to Formal Language Theory, ACM SIGSAM Bulletin, 24, No. 2, 1990.
PRATHER, R.E., Proposal for a Categorical Programming Language, ACM SIGPLAN Notices, 25, No. 4, 1990.
PRATHER, R.E., Adaptive Testing in a User-Interactive Mode, Proceedings of the Seventh International Conference on Testing of Software, San Francisco, June 1990.
PRATHER, R.E., The Popular Songs of Alec Wilder, The Musical Quarterly, 74, No. 4, 1990.
PRATHER, R.E., Software Metrics, Journal of Testing, Verification and Reliability, 1, No. 4, 1991.
PRATHER, R.E. and MYERS, J.P., The Type Structure of CAT, Constructivity in Computer Science Summer Symposium, Trinity University, June 1991.
PRATHER, R.E., Hierarchical Software Metrics : A Tutorial, Quality Week '92, San Francisco, May 1992; 2nd International Conference on Software Quality, Research Triangle Park, North Carolina, October 1992; 2nd Annual Software Engineering Research Forum, Melbourne, Florida, November 1992.
PRATHER, R.E., The Semantics of CAT, ACM SIGPLAN Notices, 27, No. 6, 1992.
PRATHER, R.E., Computer Science in a Liberal Arts and Sciences Setting, ACM SIGCSE Bulletin, 24, No. 2, 1992.
PRATHER, R.E., Hierarchical Metrics and the Prime Generation Problem, Software Engineering Journal, 8, No. 5, 1993.
PRATHER, R.E., Axiomatic Foundations for Structural Software Metrics, Second International Software Metrics Symposium, IEEE Computer Society, London, England, October 1994.
PRATHER, R.E., Design and Analysis of Hierarchical Software Metrics, ACM Computing Surveys, 27, No. 4, 1995.
PRATHER, R.E., It's De-Lovely, American Mathematical Monthly, 103, No. 9, 1996.
PRATHER, R.E., Convexity and Independence for Software Metrics, Software Engineering Journal, 11, No. 3, 1996.
PRATHER, R.E., The Subprogram Problem for Software Metric Design, Information Processing Letters, 60, 1996.
PRATHER, R.E., Regular Expressions for Program Computations, American Mathematical Monthly, 104, No. 2, 1997.
PRATHER, R.E., Hierarchical Software Metrics: A Tutorial, Eighth International Conference on Applications of Software Measurement, Atlanta GA, October 1997.
PRATHER, R.E. and BURGMEIER, J.W., A Tangent-Secant Method for Finding Roots of Differences of Concave Functions, Texas Meeting of the MAA, Dallas, TX, March 1998.
PRATHER, R.E., A Modular Mathematical Programming Language, ACM SIGPLAN Notices, 33, No. 3, 1998.
PRATHER, R.E., A Virtual University as a Distributed Computing Network, SC98: High Performance Networking and Computing Conference, Orlando, FL, November 1998.
PRATHER, R.E., An Internet-Mediated Data Abstraction Course, IRMA International Conference Proceedings, Seattle WA, May, 2002.