Changing bibliography style to EPTCS #33