Joakim von Wright
-
TAS - A Generic Window Inference System
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A rigorous environment for development of concurrent systems
Nordic Journal of Computing