Robert Bernecky Peter Wooster Bitslice: representation without taxation. 33-42 2003 conf/apl/2003 APL http://doi.acm.org/10.1145/882067.882072 db/conf/apl/apl2003.html#BerneckyW03