Hi Nigel,
yes, sparging at a higher temperature by i) draining the bag (equivalent to the conventional lautering), ii) adding hotter water, either by pouring it over or dunking the bag into it is also effecting what's known as a mashout. This combined sparge/ mashout achieves a couple of things, the most important is to rinse the remaining sugars from the mash (that's the sparge), but as you've noted the temperature ends up higher, this is also beneficial as it lowers the viscosity of the now sugary sparge liquor making it more likely to drain away from the grain, while the higher temperature also denatures enzymes and stops them from working and so fixes the proportions of the various sugars. That last point is only significant if the liquor (sparge or mash) is allowed to sit around mash temperatures for some time.
However, the Sparge/ Mashout step in a Maxi-BIAB is really just a rinse, so I only leave it a few minutes, say 10, in which time I'll give it a few good stirs. The water temperature isn't important, however I use water just off the boil, as joshua indicates, around 80C should be the limit that the actual grain reaches to avoid potential astringency problems. It will also be helpful if the water is not alkaline- much town water is so, but a pinch of citric acid (say 1/4 tsp in 4L) will buffer it in that case.
Now, that formula, where is it from? It is not correct, it should be:
Post- boil SG/ Target SG * Volume of Wort in Kettle = Diluted Volume (i.e. what ends up in the fermenter)
The Target SG is from your recipe, it is the SG you want your beer at when it is diluted, also known as Original Gravity, the other two actual values are the volume and SG you've measured. Here's an example, my latest batch was a Schwartzbier with a Target SG was 1.050, there was 17L of 1.070 in the kettle at the end of the boil:
70 / 50 * 17 = 23.8L
Therefore, amount of water to be added:
23.8 - 17 = 6.8L
So it is just a linear scaling based on concentration, initially it took me a while to work this bit out, but it more or less smacked me in the face when I realised how simple it was! You can also incorporate loss to kettle trub in the Volume of Wort in Kettle (i.e. in my case 17L), particularly if it is a non- trivial value, mine is usually <0.5L so I don't bother. As an aside, for my Schwartzbier recipe that's >23L of diluted wort from just 4.3kg of grain, so around 85% efficiency: very nice!
Hope that this helps with the calculations, let me know if it still causes any grief.
WRT recipes, they really don't need any specific modifications for Maxi-BIAB, so any all- grain recipe can be taken as is and just scaled if need be. BeerSmith2, Brewmate, ProMash, StrangeBrew2 etc, all work fine and scale recipes. You can buy a BeerSmith2 licence at the top of the page, its a cheap tool that most brewers should find very useful (pardon the shameless plug!). Initially, set 'efficiency' to around 70%, but you should find with Maxi-BIAB that it is much higher and you can adjust your grainbill to suit.
Many thanks as well for your feedback, we value that very highly.

We're very pleased that the guides here on BIABrewer are proving helpful to lots of folks all around the globe. I feel the Stovetop variants have shown dozens if not hundreds of novice brewers a much quicker route to All- Grain with a very simple yet effective, cheap and low- risk method while the quality of their beer has improved out of sight- they would otherwise be still brewing kits or extract and saving up money for a conventional multi- vessel rig. Updates to the Stovetop methods are in the pipeline, but probably not until the southern spring.