Advanced Trace Analysis by Susanta Lahiri