Peter V. Homeier A Design Structure for Higher Order Quotients. 130-146 2005 conf/tphol/2005 TPHOLs http://dx.doi.org/10.1007/11541868_9 db/conf/tphol/tphol2005.html#Homeier05