Title: Network specification and coding