Subtractive groupoids and laterally commutative heaps Volenec, Vladimir (1990) Portugaliae mathematica