VDict mobile



Language based on temporal logic. "Executing Temporal Logic
Programs", B. Moszkowski, Camb U Press 1986.