Computer programmer, I live in Vancouver.

I did the pages:
*StateLaws
*ConcurrencyLaws
*DetailsPattern
*FirstOrderDecisionProcedures
*CeeFormalSemantics