Count Orsini-Rosenberg: Italian is the proper language for opera. All educated people agree on that.
AmadeusFormal mathematics is nature's way of letting you know how sloppy your mathematics is.
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers