Foreword: Symbolic computation in software science
scientific article; zbMATH DE number 6889323