In Spectrum three different language styles are studied: Type theory, algebraic specification and functional programming.