Weydert, Emil Programming Logics, MPI for Informatics, Max Planck Society;
Weydert, E. (2000). Rankings in flux. In J. Cunningham, & D. Gabbay (Eds.), Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00) (pp. 37-48). London, UK: Imperial College Department of Computing.