user:Mgreenbe
=CS=
- Pointer, smart pointer, and reference (computer science) need to be organized; handle (computer science) might have to go in as its own article
- CTL* (and CTL and LTL could bear with touching up)
- More detail on Robert Floyd's predecessor to Hoare logic for proofs over flowcharts
- Factory object needs an example