Elements of Programming by Alexander Stepanov and Paul McJones just showed up on my doorstep; I preordered it from Amazon. Looks like I will have to re-engage the Formal Specification parts of my brain that I haven't used since writing my thesis and defending it. Randall.