Added MASPEGHI-based core-language document.