Adding Oberon0 specifications