A formalisation of violation, error recovery, and enforcement in the bit transmission problem
scientific article; zbMATH DE number 2083328