Fortescue calculus

Yes!! What document I start to look to implement it?