Formalisation of ownership and immutability generic java (OIGJ) technical report / Alex Potanin ... [et al.].