The author mentions D as a language with these, but if I read it correctly, believes that his support for contracts is superior.

Eiffel was the original source of design-by-contract.