Andrew Read: "An axiomatic approach to Forth"