On the formal specification and verification of network routing algorithms. - Jim Davies; Matt Wallis (FORTE, 1994)