FEniCS Resources
FEniCS tutorial
FEniCS codes
Specifying Boundary Conditions in FEniCS