Comparison between heuristic algorithms for graph otimization
A Methodology for Embedded software design based on Models of Computation
Study about Models of Computatoin for describing Digital Systems
