An Executable Subset of Meta-IV with Loose Specification.

Peter Gorm Larsen, Poul Bgh Lassen

Browse the full FM paper archive.