{"contributors":[{"last":"Smolka","first":"Gert","function":"author"},{"last":"European Symposium on Programming","function":"author"},{"last":"ETAPS (Conference)","function":"author"}],"title":"Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings","style":"apa","source":"website","website":{"title":"Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings"},"isbn":null,"pubonline":{"url":"http:\/\/rave.ohiolink.edu\/ebooks\/ebc\/3540464255","title":"Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings"},"oclc":"45643946","datasource":"http:\/\/www.worldcat.org","pubtype":{"main":"pubonline"}}