This course serves as a foundation for those interested in MFS compilation or analysis, namely, for both compilers and users. It discusses the principles and concepts underlying the methodology for ...