A formal model of fair exchange protocols
scientific article; zbMATH DE number 5128638