Richard Watson. An Application of Action Theory to the Space Shuttle. In Gopal Gupta, editor, Practical Aspects of Declarative Languages, First International Workshop, PADL 99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings. Volume 1551 of Lecture Notes in Computer Science, pages 290-304, Springer, 1999. [doi]
Abstract is missing.