Preface

Sergei Artemov, Michael Mislove
2006 Theoretical Computer Science  
doi:10.1016/j.tcs.2006.03.008 fatcat:ctf7saz42fakvbgxamdh4cajzi