An Etymological and Metamodel-Based
Evaluation of the Terms “Goals and Tasks” in Agent-Oriented
Methodologies By Brian Henderson-Sellers, Quynh-Nhu Numi Tran
and John Debenham
Acessing Objects Locally
in Object-Oriented Languages By Keehang Kwon
Implementing the p-Calculus in Java By Liwu Li
On theory and practice of Assertion Based Software
Development By Herbert Toth
