Manuel Meseguer presentations