The specification of algorithms
Richard H. Franke · Defense Technical Information Center (DTIC) · 1975
Methods for the specification of algorithms are explored. A discussion of desirable features is given and a method based on conventional ideas is proposed. Examples are given, followed by a discussion of shortcomings and related problems.