EuroFORML 1985 papers