Added implementation-notes document.