Cramer, J.Schumann, H.2004-12-062004-12-0619912002-04-04http://hdl.handle.net/2003/266810.17877/DE290R-14958enUniversität DortmundInternes Memorandum des Lehrstuhls für Software-Technologie / Fachbereich Informatik, Universität Dortmund ; 62b004On the Specification of Shared Objects in Piworking paper