The imperative future principles of executable temporal logic (Research Studies Press [u.a.], 1996)