A compiler for MSVL and its applications
scientific article; zbMATH DE number 6989357
scientific article