Recursive Temporal Logic. By Martin Lange