conf/vldb/78 Prakash G. Hebalkar Application Specification for Distributed Data Base Systems. 442-449 1978 VLDB78/P442.PDF VLDB db/conf/vldb/vldb78.html#Hebalkar78 db/conf/vldb/Hebalkar78.html ... journals/cacm/Hoare74 journals/tse/Hansen75 ... ... journals/cacm/LiskovSAS77 journals/sigplan/LiskovZ74 journals/tods/Schmidt77