MaRDI QIDQ31277swMATHFDO
Official website http://dl.acm.org/citation.cfm?doid=196244.196258
This page was built for software: ASTRX/OBLX