@incollection{RISC386,author = {B. Buchberger},
title = {{Das Problem der Programmverifikation (The Problem of Program Verification)}},
booktitle = {{Jahrbuch Ueberblicke Mathematik 1976, Bibliographischs Institut, Mannheim}},
language = {german},
pages = {163--188},
publisher = {Copyright: Bibliographisches Institut AG Zuerich},
isbn_issn = {ISBN 3-411-01505-5},
year = {1976},
annote = {1976-01-01-A},
editor = {-},
refereed = {yes},
keywords = {Keywords: Sorting, example, inductive assertions},
length = {26}
}