URI: 

  HTML decompilation_of_control_structures
  HTML peephole_refactoring_and_program_flow_decompilation
  HTML program_slicing
  HTML switchboard