1. Anderson, C., Drossopoulou, S.: BabyJ: from object based to class based programming via types. Electr. Notes Theor. Comput. Sci. 82(7), 53–81 (2003).
https://doi.org/10.1016/S1571-0661(04)80802-8
2. Balog, M., Gaunt, A.L., Brockschmidt, M., Nowozin, S., Tarlow, D.: DeepCoder: Learning to write programs. CoRR abs/1611.01989 (2016).
http://arxiv.org/abs/1611.01989
3. Beck, K.: Test Driven Development: By Example. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
4. Beck, K., Andres, C.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison-Wesley Professional, Boston (2004)
5. Lecture Notes in Economics and Mathematical Systems,1973