“...International Workshop on Recent Trends in Algebraic Development Techniques Janov, Itálie)...”