An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
scientific article; zbMATH DE number 5680031