Resources

Formal Models of Agents

Author : Meyer 

Springer

Access online

Formal Ontology and Conceptual Realism

Author : Cocchiarella 

Springer

Access online

Formal Program Development

Author : Möller 

Springer

Access online