This technical report provides additional details for the paper entitled Statically Checking API Protocol Conformance with Mined Multi-Object Specifications [1]. We formally describe how to translate API usage protocols represented as finite state machines into a relationship-based specification language.