Author: NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 Marktoberdorf, Germany)