A concept approach to input/output logic
scientific article; zbMATH DE number 6522455
scientific article