A CUBICAL LANGUAGE FOR BISHOP SETS. - STERLING, JONATHAN; ANGIULI, CARLO; GRATZER, DANIEL (Logical Methods in Computer Science (LMCS), 2022)