@booklet {bicsak:cfg, title = {Constructing control flows graphs of binary executable programs at post-link time}, year = {2007}, author = {A. Bics{\'a}k and {\'A}kos Kiss and Rudolf Ferenc and Tibor Gyim{\'o}thy} } @booklet {bicsak:abstracting, title = {Method and a device for abstracting instruction sequences with tail merging}, year = {2007}, author = {A. Bics{\'a}k and {\'A}kos Kiss and G. Lehotai and Rudolf Ferenc and Tibor Gyim{\'o}thy} }