The Tektronix 4025 terminal was introduced in 1978.[1]
The Tektronix 4025A terminal was introduced in 1982.[2]