Recurring Dominoes: Making the Highly Undecidable Highly Understandable (1999)

by D Harel
Venue:Journal of Computer and System Sciences 58