@phdthesis{Schneider1994, annote = {vdf Hochschulverl.Z{\"{u}}rich}, author = {Schneider, Kurt}, keywords = {B-Thesis}, title = {{Ausf{\"{u}}hrbare Modelle der Software-Entwicklung}}, year = {1994} }