updated gorla.bib publications, and made crossrefs consistent using : (to prepare for abbreviations)