The computability and complexity of optical beam tracing (1990)

by J H Reif, J D Tygar, A Yoshida
Venue:Proc. of the 31st Annual Symp. on Foundations of Computer Science