Springer eBooksFormale BetrachtungenC. HanhartPublished Jan 1, 2020• 0 citationsPublisherDOI10.1007/978-3-662-60702-2_5