A complete axiomatic semantics of spawning
scientific article; zbMATH DE number 4209625
scientific article