This author has not been identified. Look up 'Stephen Alstrup' in GoogleThis author has not been identified. Look up 'Dov Harel' in GoogleThis author has not been identified. Look up 'Peter W. Lauridsen' in GoogleThis author has not been identified. Look up 'Mikkel Thorup' in Google