Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog. - John Howard Eli Fiskio-Lasseter; Amr Sabry (HOOTS, 1999)

Flow equations as a generic programming tool for manipulation of attributed graphs. - John Howard Eli Fiskio-Lasseter; Michal Young (PASTE, 2002)

Refining code-design mapping with flow analysis. - Xiaofang Zhang; Michal Young; John Howard Eli Fiskio-Lasseter (SIGSOFT FSE, 2004)