Lock-free concurrent binomial heaps - Lowe, G (Journal of Logical and Algebraic Methods in Programming, 2018)