Report copyright - Iterators revisited: proof rules and implementationprogramming pattern is a candidate for promotion to the host programming language. This also happens with the Iterator design pattern
Please pass captcha verification before submit form