A formal instructional model based on Concept Maps