where the SIGPLAN LaTeX style came from