Notes on Hazard-Free Boolean Circuits