NASA:10.4204/EPTCS.202.6
NASA:10.4204/EPTCS.219.2