Arie van Deursen;Leon Moonen
-;-
Documenting software systems using types
Science of Computer Programming - Software analysis, evolution and re-engineering