Was referred to several Logic journals long ago - finally getting around to editing/revising this. See the original class paper. Written in LaTeX with a scratch-built Docker editor. Additional commentary available here.