The Academy course on Specification