A method of programming

Computer programming

An introduction to computer programming motivated by successively transforming mathematical characterizations of program state.

For young readers