anonymous The QED Manifesto. 238-251 1994 conf/cade/1994 CADE db/conf/cade/cade94.html#Anonymous94 https://dl.acm.org/doi/10.5555/648231.752823