MMAC thesis project 

by

Miguel Couceiro and Pedro A. Santos