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

In addition suitable contents:
[ ag ] [ al ] [ am ] [ an ] [ as ] [ B ] [ b ] [ ba ] [ base ] [ C ] [ cu ] [ E ] [ ec ] [ ed ] [ es ] [ ge ] [ gi ] [ gr ] [ gu ] [ in ] [ ki ] [ M ] [ mp ] [ ms ] [ ng ] [ re ] [ ro ] [ se ] [ sk ] [ sZ ] [ T ] [ Tempo ] [ temporal logic ] [ ua ] [ ws ]