All languages
CLU
Author
Barbara Liskov
First language with native support of Code Contracts