Compositional analysis of contract-signing protocols
scientific article; zbMATH DE number 5083533
scientific article