On the Necessity ofa Prescribed Block Validity Consensus:Analyzing Bitcoin Unlimited Mining Protocol

https://eprint.iacr.org/2017/686.pdf

Description in isn't as good as I remembered