M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
T. Schummer, S. Lukosch, and R. Slagter. Groupware: Design, Implementation, and Use, 11th International Workshop, CRIWG 2005, Lecture Notes in Computer Sciecne 3706, page 73-88. Berlin Heidelberg, Springer-Verlag, (2005)
E. Brucherseifer, P. Bechtel, S. Freyer, and P. Marenbach. Genetic Programming, Proceedings of EuroGP'2001, volume 2038 of LNCS, page 268--279. Lake Como, Italy, Springer-Verlag, (18-20 April 2001)
P. Marenbach, K. Bettenhausen, and S. Freyer. Genetic Programming 1996: Proceedings of the First
Annual Conference, page 327--332. Stanford University, CA, USA, MIT Press, (28--31 July 1996)