00861nam0-22002651i-450-990001255160403321000125516FED01000125516(Aleph)000125516FED0100012551620000920d1983----km-y0itay50------baengAbstraction, specification and implementati on techinques with and application to Garbage collectionby Jonkerss -AmsterdamMathematische Centrum1983Mathematical Centre Tracts166Jonkers,H.349725ITUNINARICAUNIMARCBK990001255160403321C-22-(1666461MA1MA1Abstraction, specification and implementati on techinques with and application to Garbage collection380913UNINAING01