Manuel Clavel, Francisco Durn, Steven Eker, Jos Meseguer, Mark-Oliver Stehr
Browse the full FM paper archive.