Implicit System Specification and the Interface Equation