https://dlang.org/spec/contracts.html

https://tour.dlang.org/tour/en/gems/contract-programming

http://ddili.org/ders/d.en/assert.html
http://ddili.org/ders/d.en/invariant.html

2018
Funkwerk - A Decade of D
https://dconf.org/2018/talks/funkwerk.pdf