sequential logic circuit

Design a sequential logic circuit to store the state of an SPDT switch when a bounce free NO button (see Section 9.2.1 for details) is first pressed down and increment a counter when the button is released if the switch was down when the button was first pressed. Assume the bounce-free button and counter are purchased off the shelf and need not be designed. Draw a complete circuit diagram of your solution and show a timing diagram, assuming the SPDT switch exhibits switch bounce.