Dear Dimitri, a related spacing problem can be seen by having something like [\ref BRZH02c] in the source. Again, there is a spurious space after the closed curly bracket [{\bf BRZH02c} ] This can be fixed by applying the attached patch, in addition to the one I sent before. Cheers Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it