On the synthesis and optimization of MVL functions - Hasan, Muhammad Nayyar (1995)