Template for Electronic Proceedings in Theoretical Computer Science (EPTCS) papers. From: http://style.eptcs.org/