Computer programmer, I live in Vancouver. I did the pages: StateLaws ConcurrencyLaws DetailsPattern FirstOrderDecisionProcedures CeeFormalSemantics