Akira Nakamura On Nondeterministic-Causal Time Systems. 72-75 1972 6 Mathematical Systems Theory 1 db/journals/mst/mst6.html#Nakamura72