@masterthesis{kuehne92,
author = {Thomas K\"uhne},
title = {Spezifikation der dynamischen Semantik von Basic-Lotos},
institution = "Darmstadt University of Technology",
note = "supervised by Prof. Dr. W. Henhapl and Christoph Thies",
month = sep,
year = {1992}
}