Logical construction of programs
Jean Dominique Warnier (Author)
This book uses a group of disciplines, such as the sets theory, and eloquently shows the difference existing between a problem and the methodologies for its solution, on one side and the final codification of this solution, on the other, the latter being actually dependent of the computer to be used
Print Book, English, 1976
Van Nostrand Reinhold Co., New York, 1976