Search font from "The Running Man" opening titles

Hi everybody,

I'm looking for the font used in "The Running Man" opening titles:

I believe this font was also used in "The Terminator" Opening titles, and in the movie as the font used by the T-800 internal screen.

Thanks a lot for the one who'll find it.

Best Regards,