It's the only place I've ever worked in which the customer never registered a single bug. They even asked us if we could take over from a different supplier since they'd never managed to deliver anything that worked. When the tests were signed off (and they literally were; the tester signed their name against each test, data records were archived, the paper test steps and signatures were sealed in envelopes for customer inspection on demand) that software did its job from delivery day one.
Waterfall is really demanding and really hard to do well (and it also requires a high quality of customer; if your customers don't know what they want and simply cannot be guided into telling you, I suspect it's impossible), but it sure can deliver. I've never worked anywhere else that managed such high quality.
What sort of pseudocode were you using for this?
When I hear the above argument, I'm reminded of the Protestants versus Catholics scene in Monty Python's The Meaning of Life.