--- a/midi/specification.html	Thu Nov 01 11:32:39 2012 -0400
+++ b/midi/specification.html	Thu Nov 01 10:57:07 2012 -0700
@@ -140,6 +140,9 @@
         "http://dvcs.w3.org/hg/webperf/raw-file/tip/specs/HighResolutionTime/Overview.html"
         >High Resolution Time Specification</a>.
       </p>
+      <p>
+        The terms <dfn>MIDI</dfn>, <dfn>MIDI device</dfn>, <dfn>MIDI input port</dfn>, <dfn>MIDI interface</dfn>, <dfn>MIDI message</dfn> and <dfn>MIDI output port</dfn> are defined in the <a href="http://www.midi.org/techspecs/index.php">MIDI specification</a> MIDI Manufacturers Association, "Complete MIDI 1.0 Detailed Specification". ISBN 0-9728831-0-X.
+      </p>
 <!-- FIXME: This list is not exhaustive. -->
     </section>