https://123dok.net/document/z1d342vd-stateful-traits-and-their-formalization.html