Formal Models of Agents | lit.salon