How to Build Input/Output Logic
scientific article; zbMATH DE number 6355193