Formal specification of complex reasoning systems by Jan Treur | Menrva Books | MenrvaBooks