Scott M. Staley David C. Anderson Executable E-R Specifications for Database Schema Design. 160-169 1985 ER db/conf/er/er85.html#StaleyA85 conf/er/85 er85/ER85-P160.pdf conf/ds/Abrial74 ... ... conf/vldb/BaldisseraCPB79 journals/tods/BancilhonS81 conf/sigmod/BandurskiJ75 ... ... ... ... ... conf/sigmod/80p conf/er/Brodie81 journals/sigmod/Brodie83 conf/db-workshops/Intervale journals/computer/BrownTF83 conf/vldb/Bubenko79 ... ... journals/tse/ChangC78 journals/tse/ChangK78 journals/tods/Chen76 ... conf/vldb/Childs77 journals/cacm/Codd70 journals/tods/Codd79 ... conf/sigmod/Cook75 ... books/aw/Date81 conf/vldb/DayalB78 ... ... ... ... ... ... ... ... ... conf/sigmod/EmondM83 ... ... ... ... ... ... ... ... ... conf/vldb/FloryK78 ... conf/adbt/77 ... ... journals/tods/Griffith82 journals/tods/HammerM81 conf/sigmod/HaskinL82 ... conf/vldb/HouselWY79 ... ... journals/jacm/HullY84 ... ... ... journals/debu/JohnsonB82 conf/sigmod/JohnsonSW83 ... ... journals/computer/Katz83 conf/vldb/Kent76 journals/tods/Kent79 conf/vldb/KerschbergKT76 ... journals/computer/Larson83 conf/sigmod/LeeF83 ... conf/sigmod/LorieP83 conf/vldb/LumGSTJSFTYRKNSABJ79 conf/sigmod/MaierW82 conf/sigmod/MaierRSSW82 journals/tods/MaierU83 conf/sigmod/CopelandM84 conf/sigmod/McLeodS80 conf/sigmod/McLeod80a conf/sigmod/McLeodNR83 conf/sigmod/Minker75 ... ... ... conf/sigmod/Neumann83 journals/tse/Ng81 ... ... ... conf/vldb/RoussopoulosM75 ... ... journals/tse/Roussopoulos79 ... conf/vldb/Santos79 conf/sigmod/SchmidS75 ... ... journals/tods/Shipman81 journals/cacm/SmithS77 journals/tods/SmithS77 conf/vldb/Solvberg79 journals/ibmrd/Sowa76 conf/sigmod/Sowa80 books/aw/Sowa84 conf/sigmod/StonebrakerRG83 ... conf/vldb/Sundgren78 conf/vldb/Tsichritzis75 ... books/cs/Ullman80 journals/tods/Ullman83a ... journals/tse/YaoWH82 ...