Farhad Arbab, Marjan Sirjani: Proceedings of the First IPM International Workshop on Foundations of Software Engineering, FSEN 2005, Tehran, Iran, October 1-3, 2005. Electronic Notes in Theoretical Computer Science 159, Elsevier 2006