Pretabular extensions of Lewis S4
scientific article; zbMATH DE number 3499718