Todd, S. J. P. "The Peterlee relational test vehicle - a system overview"

[IBM] (1976) IBM Systems Journal, 15(4), 1976  

Languages mentioned ISBL {1974} IBM Peterlee experimental relational algebra PRTV {1976} Vienna Definition Language {1965} Formal language description language