Mechanical verification of an ideal incremental ABR conformance algorithm
scientific article; zbMATH DE number 1924928