OSPF specification.

Published in: RFC (1989)

Keyphrases

network topology
shortest path
high level
routing protocol
formal specification
specification language
formal verification
traffic engineering
web services