Alwyn Goodloe Michael McDougall Carl A. Gunter Rajeev Alur Predictable programs in barcodes. 298-303 2002 conf/cases/2002 CASES http://doi.acm.org/10.1145/581630.581679 db/conf/cases/cases2002.html#GoodloeMGA02