SALSA: a language for search algorithms
scientific article; zbMATH DE number 1903968