[crux-devel] paper on the oss-qm project