Universitatea Alexandru Ioan Cuza, România
Authors: J.A. Bergstra, C.A. Middelburg
Authors: A. Fontaine, A. Zemmari
Authors: D. Marmsoler, M. Gleirscher
Authors: S. Saqaeeyan, E. Mollaahamdi