Peter Sestoft

On the Formal Semantics of VisualSTATE Statecharts

Peter Sestoft, 2002 .

Implementing function spreadsheets

Peter Sestoft, 2008, WEUSE '08.

Decidability and Undecidability Results for Duration Calculus

Michael R. Hansen, Chaochen Zhou, Peter Sestoft, 1993, STACS.

Moscow ML Owner's Manual

Sergei A. Romanenko, Peter Sestoft, Russia Claudio Russo, 2000 .