Silver specification of Oberon0 for the LDTA 2011 Tool Challenge.