(2001). Synchronous equivalence: Formal methods for embedded systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli.
Chicago-viite (17. p.)Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.
MLA-viite (9. p.)Synchronous Equivalence: Formal Methods for Embedded Systems / Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli. 2001.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.