Specification techniques for data abstractions - Liskov, BH; Zilles, SN (IEEE Trans Softw Engin, 1975)
SE-1: