Steffen Tarnick Single-Output Embedded Checkers for Systematic Unordered Codes. 45-51 2004 conf/iolts/2004 IOLTS http://doi.ieeecomputersociety.org/10.1109/IOLTS.2004.43 db/conf/iolts/iolts2004.html#Tarnick04