[budman1]

academics loved ada when it came out. it was a very sophisticated language for it's day.

same is true today. the spec/body separation made for an actual delineation between design and implementation.