Autori: Lee, E. A., Seshia, S. A.
Rok vydania: 2016
Vydavateľstvo MIT Press
ISBN 978-0262533812
Publikáciu možno zakúpiť na www.amazon.com