[FOM] Axioms of programming paper on the web

[Axiomize@aol.com]

My paper, "Axiomatic Synthesis of a Prime Number Generator and other Number 
Theoretic Programs using a Program Calculus", is available as a pdf file on 
the web site 
http://www.mathpreprints.com/math/Preprint/CharlieVolkstorf/20021008.1/1

The purpose is to present a set of 5 axioms from which various number 
theoretic computer programs are formally derived.

Charlie Volkstorf