Made library method naming consistent.
Added library functions to specification.