De Lobinho a Pioneiro
A methodology to specify three-dimensional interaction using Petri Nets
Aids to Scoutmaster Ship Handbook