Groups definable in two orthogonal sorts - Alessandro Berarducci; Marcello Mamino (2013)