ref: Add Type-Based Decompilation reference.