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