~ tracking down this book ~
Mathematical Foundations of Programming by Frank S. Beckman — OmList