A process algebraic view of input/output automata
scientific article; zbMATH DE number 985987
scientific article