see also the index (by topic, by tool, by reference, by year)
Examples involving exceptions raised and caught, and exceptional post-conditions