Diego Marmsoler Formal Aspects of Component Software - 2024 - Springer 2024 - Lecture Notes in Computer Science . ISBN: 9783031712616 Subjects--Topical Terms: Computer ScienceFormal Languages and Automata Theory