The new Implementation of ALF. In The informal proceeding from the logical framework workshop at Båstad (1992)

by L Magnusson