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.