LAN Protocol Validation and Evaluation. - S. Rahimi; George Jelatis (IEEE J. Sel. Areas Commun., 1983)

Motivation for a new formal framework for agent-oriented software engineering. - R. Ahmad; S. Rahimi (Int. J. Agent Oriented Softw. Eng., 2009)