1. Bonér J. 2012. Latency numbers every programmer should know; https://gist.github.com/jboner/2841832. Bonér J. 2012. Latency numbers every programmer should know; https://gist.github.com/jboner/2841832.
2. Dart Language Specification; https://www.dartlang.org/docs/spec/. Dart Language Specification; https://www.dartlang.org/docs/spec/.
3. A novel representation of lists and its application to the function “reverse”
4. Jacobs B. Meijer E. Piessens F. Schulte W. Iterators revisited: proof rules and implementation; http://research.microsoft.com/en-us/projects/specsharp/iterators.pdf. Jacobs B. Meijer E. Piessens F. Schulte W. Iterators revisited: proof rules and implementation; http://research.microsoft.com/en-us/projects/specsharp/iterators.pdf.