Programming with Higher-Order Logic inbundenEngelska, 2012