Verified from program (paper) and Trove (proceedings) Lyn 14/12/15