Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Integration of Systems Structure and Systems Behavior häftadEngelska, 2017