A completeness proof of the Bug1 algorithm plus a performance comparison between Bug1 and Bug2.
No download links available.