Tang Z. et. al, "Temporal Logic Programming and Software Engineering" Science Press, Beijing 1996 (Chinese)
(1996)
Languages mentioned
XYZ/E
{1983}