MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE - PROCEEDINGS OF THE FIFTH IBM S (S.L., 1980)