The interfaces are exemplified (or defined? formal status of the blue boxes is unclear) with a formal language named "WebIDL" but WebIDL is not referenced in the specification.