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.