zbMath0381.68024MaRDI QIDQ4162461
Józef Winkowski
Publication date: 1978
Mathematics Subject Classification ID
93B25: Algebraic methods
68N25: Theory of operating systems