He is the author of Introduction to Programming Using SML (with Hans Rischel) and Duration Calculus: A Formal Approach to Real-Time Systems (with Zhou Chaochen). Hans Rischel is a former Associate Professor in the Department of Informatics and Mathematical Modelling at the Technical University of Denmark. He is the author of Introduction to Programming Using SML (with Michael R. Hansen).