Phillip Stanley-Marbell and Martin Rinard, Foundations and Trends in Electronic Design Automation, 2017. ISBN: 9978-1680833584. Paperback: 114 pages. Publisher: NOW Publishers.
P. Stanley-Marbell. “Inferno Programming with Limbo” (textbook, 372 pages), John Wiley and Sons, 2003.
