Semântica formal - Müller, Ana Lúcia (Contexto, 2003)