Musa Al-hassy, Wolfram Kahl: Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. RAMiCS 2015: 151-168