Specification in B by Kevin Lano & Howard Haughton