The Algres Project - Ceri, S; Crespi−Reghizzi, S; Gottlob, G; Lamperti, F; Lavazza, L; Tanca, L; Zicari, R (Springer, 1988)