This author has not been identified. Look up 'Michael Sammler' in GoogleThis author has not been identified. Look up 'Simon Spies' in GoogleThis author has not been identified. Look up 'Youngju Song' in GoogleThis author has not been identified. Look up 'Emanuele D'Osualdo' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Robbert Krebbers' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Deepak Garg 0001' in GoogleThis author has not been identified. Look up 'Derek Dreyer' in Google