Object oriented protoconcepts and logics for double and pure double Boolean algebras
scientific article; zbMATH DE number 7614612