Liskov, Barbara and Zilles, Stephen "Specification techniques for data abstractions" pp72-87

[Proceedings] (1975) Proceedings of the International Conference on Reliable software Los Angeles, California 1975  

Languages mentioned AMBIT/G {1968} Ambit symbolic package for graphs Mem-theory {1961} Graph-based universal language VERS {1969} Set-based algorithmic language