author = { Meier, David },

title = { Progress properties in program refinement and parallel composition },

publisher = {},

keywords = { Hochschulschrift , Systementwicklung , Modularität },

year = {1997},

address = { },

url = { http://slubdd.de/katalog?TN_libero_mab2 }