Should your specification language be typed? /
Lamport, Leslie.
Paulson, Lawrence C.
University of Cambridge.Computer Laboratory.
Cambridge : University of Cambridge, Computer Laboratory,
1997.