A(nother and general) proof of simple insensitive bounds for overflow systems / Nico M. van Dijk
A(nother and general) proof of simple insensitive bounds for overflow systems