State and progress in strand spaces: proving fair exchange
scientific article; zbMATH DE number 6057738