Formal Models of Agents by Johann Jakob Meyer, John-Jules Ch Meyer & P.Y. Schobbens